A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Zero Knowledge Proof
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Quantum Scientists Have Built a New Math of Cryptography
quantamagazine.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
What if Left-Right and Seq-Lock had a baby?
github.comยท19hยท
Discuss: Hacker News
โœ…Formal Methods
Age and Authenticated Encryption
words.filippo.ioยท8hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.comยท1dยท
Discuss: Hacker News
โœ…Formal Methods
The CRO Trilemma : a formal incompatibility between Confidentiality, Reliability and legal Opposability in Post-Quantum proof systems
eprint.iacr.orgยท2d
๐Ÿ”’Cryptography
Group Signatures with Message-Dependent Opening Directly Imply Timed-Release Encryption
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Show HN: I made a full Ethereum account-proof circuit in Circom
github.comยท11hยท
Discuss: Hacker News
๐Ÿฆ€Rust
AlphaGo Moment for Model Architecture Discovery
arxiv.orgยท1dยท
Discuss: Hacker News
โœ…Formal Methods
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.orgยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Personalized AI is rerunning the worst part of social media's playbook
helentoner.substack.comยท15hยท
Discuss: Substack
๐Ÿฆ€Rust
Milk Sad: Secure private key generation write up
milksad.infoยท12hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Implementing Bloom Filters in C (2022)
andreinc.netยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
(Weak) Factorization Systems
bartoszmilewski.comยท12hยท
Discuss: Hacker News
โœ…Formal Methods
A breakdown of attacker response times to AWS key leaks
clutch.securityยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
I am a SOTA 0-shot classifier of your slop
christopherkrapu.comยท12hยท
Discuss: Hacker News
๐Ÿฆ€Rust